- 已选条件:
-
× Web Services
全选
【符合条件的数据共:3条】
1 Rewriting-based formal modeling, analysis and implementation of real-time distributed services [学位论文]
作者:Al-Turki, Musab A.
论文开放时间:2011
关键词:Rewriting Logic;Maude;...
培养单位:
作者:Tsai, Chang-HaoTilbury, Dawn M.
论文开放时间:2009
关键词:Virtualization;Data Center;...
培养单位:University of Michigan
作者:Mouallem, Pierre;Peter Wurman, Committee Member,Munindar Singh, Committee Member,Mladen Vouk, Committee Chair,Mouallem, Pierre;Peter Wurman;等
论文开放时间:2005
关键词:Fault Tolerance;Reliability;...
培养单位:University:North Carolina State University